(format t "hello world")
